CIMENTO E CAL

Rivista Del Nuovo Cimento

2

Rivista Del Nuovo Cimento

133 1. Int roduct ion. 134 2. The model. Grand canonical and canonical ensembles. Their inequivalence. 136 3. Boundary conditions. Equil ibrium states. 138 4. The Ising model in 1 and 2 dimensions and zero field. 141 5. Phase transit ions. Definitions. 142 6. Geometric description of the spin configurations. 145 7. Phase t ransi t ion. Existence. 147 8. Microscopic description of the pure phase...

A Cal ulus for Ressour e Control of Components

Abstra t This paper des ribes a al ulus for the resour e ontrol of Petri net omponents. In order to al ulate the new input/output behavior of a omponent resulting from a omposition we have developed a formalism for a very restri ted set of omponents. We rst introdu e the lass of ir ular omponents and de ne their omposition in our formalism. Afterwards we give a al ulus with simpli ation rules f...

Context Cal ulus 1

The +CAL Algorithm Language

Algorithms are different from programs and should not be described with programming languages. Until now, the only simple alternative to programming languages has been pseudo-code. Based on the TLA+ specification language, +cal is an algorithm language that is designed to replace pseudocode. A +cal algorithm is automatically translated to a TLA+ specification that can be checked with the TLC mo...